Algebra of Morphisms

نویسنده

  • Grzegorz Bancerek
چکیده

Let I be a set and let A, f be functions. The functor f↾IA yielding a many sorted function indexed by I is defined by: (Def. 1) For every set i such that i ∈ I holds (f↾IA)(i) = f↾A(i). One can prove the following propositions: (1) For every set I and for every many sorted set A indexed by I holds idUnionA↾IA = idA. (2) Let I be a set, A, B be many sorted sets indexed by I, and f , g be functions. If rngκ(f↾IA)(κ) ⊆ B, then (g · f)↾IA = (g↾IB) ◦ (f↾IA). (3) Let f be a function, I be a set, and A, B be many sorted sets indexed by I. Suppose that for every set i such that i ∈ I holds A(i) ⊆ dom f and f◦A(i) ⊆ B(i). Then f↾IA is a many sorted function from A into B. (4) Let A be a set, i be a natural number, and p be a finite sequence. Then p ∈ A if and only if len p = i and rng p ⊆ A. (5) Let A be a set, i be a natural number, and p be a finite sequence of elements of A. Then p ∈ A if and only if len p = i. (6) For every set A and for every natural number i holds A ⊆ A∗. (7) For every set A and for every natural number i holds i 6= 0 and A = ∅ iff A = ∅.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

On morphisms of crossed polymodules

‎In this paper‎, ‎we prove that the category of crossed polymodules (i.e‎. ‎crossed modules of polygroups) and their morphisms is finitely complete‎. ‎We‎, ‎therefore‎, ‎generalize the group theoretical case of this completeness property of crossed modules‎.

متن کامل

Homotopy approximation of modules

Deleanu, Frei, and Hilton have developed the notion of generalized Adams completion in a categorical context. In this paper, we have obtained the Postnikov-like approximation of a module, with the help of a suitable set of morphisms.

متن کامل

Morphisms in the Category of Finite Dimensional Absolute Valued Algebras

This is a study of morphisms in the category of finite dimensional absolute valued algebras, whose codomains have dimension four. We begin by citing and transferring a classification of an equivalent category. Thereafter, we give a complete description of morphisms from one-dimensional algebras, partly via solutions of real polynomials, and a complete, explicit description of morphisms from two...

متن کامل

On Finite-Dimensional Absolute Valued Algebras

This is a study of morphisms in the category of finite dimensional absolute valued algebras, whose codomains have dimension four. We begin by citing and transferring a classification of an equivalent category. Thereafter, we give a complete description of morphisms from one-dimensional algebras, partly via solutions of real polynomials, and a complete, explicit description of morphisms from two...

متن کامل

Coalgebra-to-Algebra Morphisms

Given a coalgebra p for HG, an algebra s for GH and the obvious notion of morphism from coalgebra to algebra, we observe that morphisms from Gp to s correspond to morphisms from p to Hs in the manner of an adjunction even when there is no adjunction between G and H. This appears to be one of the basic phenomena underlying the transport of special algebras. A proof of Freyd’s Iterated Square The...

متن کامل

The witness set of coexistence of quantum effects and its preservers

One of unsolved problems in quantum measurement theory is to characterize coexistence of quantum effects. In this paper, applying positive operator matrix theory, we give a mathematical characterization of the witness set of coexistence of quantum effects and obtain a series of properties of coexistence. We also devote to characterizing bijective morphisms on quantum effects leaving the witness...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1994